Lucas plays off his understandings of the problem of freedom and Gödel's Theorem, concluding that, "... a human being cannot be represented by a logistic calculus and therefore cannot be described completely in terms of physical variables, all of whose values are completely determined by the conjunction of their values at some earlier time". Lucas approaches the problem of freedom from the perspective of a computer programmer. His argument is as follows. Men can construct a logistic calculus, L, of which (...) Gödel's theorem is a theorem. Gödel's theorem is known-by-men-to-be-true, which is a fact. Facts have ontological status. Any attempt to represent this fact by a definite description must result in an infinite regress of meta-L's, for a Gödel theorem can be constructed in any meta-L powerful enough to show that Gödel's theorem is a theorem of L. Accordingly, men can do something which cannot be represented within L; men are therefore undeterminable. Lucas's position amounts to a rethinking of Fichte's position, set in the metaphor of meta-mathematical logic. However, whereas Fichte concluded that a man can choose to posit that he is free, and thereby make himself free, Lucas concludes that all men are free since some men know that Gödel's theorem is true. One question suggested by Lucas's argument is ontological, and another is epistemological. First, what is the ontological status of facts? Secondly, what is the distinction between knowing-that-p and showing-that-p? Ultimately, Lucas's demonstration pivots on equating the-completeness-of-L with knowing-the-completeness-of-L. It remains to be shown that that which is capable of knowing-that-p is governed in the act of knowing-that-p by the conditions which determine p.--M. D. P. [[sic]]. (shrink)

This extraordinarily lucid contribution to Kant scholarship leads the reader through Kant's entire system to its ultimate political payoff. Murphy takes pains to include the relevant elements of Kant's precritical and critical philosophy. As his work approaches its final topic, the philosophy of right, Murphy's style shifts smoothly from summarization and abstract elucidation toward detailed argumentation and casuistry. His presentation is fruitfully embedded in a historical context which includes : Hobbes, Leibniz, Locke, Hume, Rousseau, Mill, Hare, Hart, and Rawls. Of (...) special interest is the discussion of Kant's inaugural dissertation and his criticism of Leibnizian philosophy as presented there.--M. D. P. [[sic]]. (shrink)

Is it a mistake to use "true" or "false" in certain contexts? White sets the stage for dealing with this issue by laying out a field of usages. He develops his position by characterizing and criticizing contemporary treatments of these data, moving rapidly from case to case. His numerous summaries and conclusions, obviously based on a wider view of the material than is presented in the text, may leave the uninitiated alternately puzzled, bristling, or suspicious. While White's data are expressed (...) clearly, the goal of his arguments and his organizational principles are frequently less apparent. White's discussions of fiction and modality are of particular historic interest. Here we find Frege and Russell arguing about whether they can argue about the King of France. We meet with Aristotle's ancient problem of the future naval battle, witness latter-day skirmishes over the nature of moral language, and find Leibniz, Hume, and Kant debating the logic of necessity and contingency. Are there really different types of truth which correspond with different modalities and existence presuppositions, as White seems to assume? This question, harking back to books 5 and 6 of Plato's Republic, is passed over by White in his usage-oriented quest for the sense of "truth." Truth will suit both student and researcher alike and is to be recommended for its breadth of concern and for its 18 pages of bibliography.--M. D. P. [[sic]]. (shrink)

After a brief review of pragmatic arguments against emotivism, the author of this monograph proceeds to outline and criticize two conflicting concepts of the morally right in Dewey's writings. A third interpretation, involving an "interaction of the factual and the normative" is advanced as more conformable to the spirit of instrumentalism.--A. D. P. M.

In a recent article in this journal our unit was accused of a number of errors of judgment in applying covert video surveillance (CVS) to infants and children suspected of life-threatening abuse. The article implied, that on moving from the Royal Brompton Hospital in London to North Staffordshire Hospital, we failed to present our work to the Research Ethics Committee (REC). We did send our protocol to the REC though we did not consider that, after a total of 16 patients (...) had been documented as being the subject of life-threatening abuse, this was research. The REC in Staffordshire agreed with us. We were also accused of undertaking work that should be pursued by the Police. We agree with this. However, unlike the Metropolitan Police the Staffordshire Police would not undertake CVS. We fail to agree that 'working together' with parents is necessarily practical or safe when trying to protect children from life-threatening abuse of this kind. (shrink)

"Neuroscience and Philosophy" begins with an excerpt from "Philosophical Foundations of Neuroscience," in which Maxwell Bennett and Peter Hacker question the ...

In his struggle to vindicate the religious enterprise from the charge that it is unfalsifiable and meaningless, McKinnon reduces both science and religion to distorted caricatures, ignores the centrality of the problems of evil, anguish, absurdity, and the egocentric predicament for religion, and asserts that religion and science are fundamentally one and the same. He builds his thesis on a distinction between "assertional," "self-instructional," and "ontological-linguistic" intentionality of utterances. By equivocating about whether these usages are logically independent, McKinnon holds that, (...) as "self-instructional," utterances are outside the positivist's arena. He presses the noteworthy point--that utterances sometimes are intended to report an existential stance--in such a way as to divert attention from the vast differences between religious and scientific methods and subject matter. Not content with leaving religious utterances restricted to mere reporting, McKinnon builds a case for bypassing positivistic attack under the other two usages by trading on a supposed incommensurability between particulars and universals. E.g., he holds that "God is love" must be indeterminate and unfalsifiable since both nouns are universals and since God is incomprehensible. And so it goes, a battle between straw men on a shifting field of honor for a prize of dubious worth. Notwithstanding, this is a thought provoking treatment of a difficult topic.--M. D. P. (shrink)

Two rotational bands have been identified and characterized in the proton-magic N = Z + 1 nucleus Ni-57. These bands complete the systematics of well-and superdeformed rotational bands in the light nickel isotopes starting from doubly magic Ni-56 to Ni-60. High-spin states in Ni-57 have been produced in the fusion-evaporation reaction Si-28(S-32, 2p1n)Ni-57 and studied with the gamma-ray detection array GAMMASPHERE operated in conjunction with detectors for evaporated light charged particles and neutrons. The features of the rotational bands in Ni-57 (...) are compared to those of neighbouring isotopes and interpreted by means of configuration-dependent cranked Nilsson-Strutinsky calculations. The two observed high-spin bands are considered signature partners and assigned to configurations with one 1g(9/2) proton and one 1g(9/2) neutron, resulting in an unambiguous understanding of the energetically favoured signature alpha = -1/2 band but a somewhat less satisfactory description of the signature alpha = +1/2 band. (shrink)

We apply an online optimization process based on machine learning to the production of Bose-Einstein condensates. BEC is typically created with an exponential evaporation ramp that is optimal for ergodic dynamics with two-body s-wave interactions and no other loss rates, but likely sub-optimal for real experiments. Through repeated machine-controlled scientific experimentation and observations our ’learner’ discovers an optimal evaporation ramp for BEC production. In contrast to previous work, our learner uses a Gaussian process to develop a statistical model of the (...) relationship between the parameters it controls and the quality of the BEC produced. We demonstrate that the Gaussian process machine learner is able to discover a ramp that produces high quality BECs in 10 times fewer iterations than a previously used online optimization technique. Furthermore, we show the internal model developed can be used to determine which parameters are essential in BEC creation and which are unimportant, providing insight into the optimization process of the system. (shrink)

Early versions of satellite and radiosonde datasets suggested that the tropical surface had warmed more than the troposphere, while climate models consistently showed tropospheric amplification of surface warming in response to human-caused increases in greenhouse gases. We revisit such comparisons here using new observational estimates of surface and tropospheric temperature changes. We find that there is no longer a serious discrepancy between modeled and observed trends in the tropics. Our results contradict a recent claim that all simulated temperature trends in (...) the tropical troposphere are inconsistent with observations. This claim was based on the use of older radiosonde and satellite datasets and on two methodological errors: the neglect of observational trend uncertainties introduced by interannual climate variability and application of an inappropriate statistical “consistency test”.This emerging reconciliation of models and observations has two primary explanations. First, because of changes in the treatment of buoy and satellite information, new surface temperature datasets yield slightly reduced tropical warming relative to earlier versions. Second, recently developed satellite and radiosonde datasets now show larger warming of the tropical lower troposphere. In the case of a new satellite dataset from remote sensing systems, enhancedRSS warming is due to an improved procedure of adjusting for inter-satellite biases. When the RSS-derived tropospheric temperature trend is compared with four different observed estimates of surface temperature change, the surface warming is invariably amplified in the tropical troposphere, consistent with model results. Even if we use data from a second satellite dataset with smaller tropospheric warming than in remote sensing systems RSS, observed tropical lapse rates are not significantly different from those in all model simulations.Our results contradict a recent claim that all simulated temperature trends in the tropical troposphere and in tropical lapse rates are inconsistent with observations. This claim was based on the use of older radiosonde and satellite datasets and on two methodological errors: the neglect of observational trend uncertainties introduced by interannual climate variability and application of an inappropriate statistical “consistency test”. (shrink)

Global challenges such as climate change, food security, or public health have become dominant concerns in research and innovation policy. This article examines how responses to these challenges are addressed by governance actors. We argue that appeals to global challenges can give rise to a ‘solution strategy' that presents responses of dominant actors as solutions and a ‘negotiation strategy' that highlights the availability of heterogeneous and often conflicting responses. On the basis of interviews and document analyses, the study identifies both (...) strategies across local, national, and European levels. While our results demonstrate the co-existence of both strategies, we find that global challenges are most commonly highlighted together with the solutions offered by dominant actors. Global challenges are ‘wicked problems' that often become misframed as ‘tame problems’ in governance practice and thereby legitimise dominant responses. (shrink)

High-spin states have been studied in Pr-135(59), populated through the Cd-116(Na-23,4n) reaction at 115 MeV, using the Gammasphere gamma-ray spectrometer. The negative-parity yrast band has been significantly extended to spin similar to 45 (h) over bar and excitation energy 21.5 MeV, showing evidence for several rotational alignments. The positive-parity yrast band of Ce-135(58), populated through the p4n channel of this reaction, was also populated to spin similar to 38 (h) over bar and excitation energy 18 MeV. Cranking calculations indicate that (...) these nuclei are soft with respect to the triaxiality parameter gamma and that several competing nuclear shapes occur at high spin. (shrink)